|
The calculus of moving surfaces (CMS) 〔Grinfeld, P. (2010). "Hamiltonian Dynamic Equations for Fluid Films". Studies in Applied Mathematics. . ISSN 00222526.〕 is an extension of the classical tensor calculus to deforming manifolds. Central to the CMS is the -derivative whose original definition 〔J. Hadamard, Lecons Sur La Propagation Des Ondes et Les Equations De l’Hydrodynamique. Paris: Hermann, 1903.〕 was put forth by Jacques Hadamard. It plays the role analogous to that of the covariant derivative on differential manifolds. In particular, it has the property that it produces a tensor when applied to a tensor. Suppose that is the evolution of the surface indexed by a time-like parameter . The definitions of the surface velocity and the operator are the geometric foundations of the CMS. The velocity C is the rate of deformation of the surface in the instantaneous normal direction. The value of at a point is defined as the limit : where is the point on that lies on the straight line perpendicular to at point P. This definition is illustrated in the first geometric figure below. The velocity is a signed quantity: it is positive when and is analogous to the relationship between location and velocity in elementary calculus: knowing either quantity allows one to construct the other by differentiation or integration. The -derivative for a scalar field F defined on is the rate of change in in the instantaneously normal direction: : This definition is also illustrated in second geometric figure. The above definitions are ''geometric''. In analytical settings, direct application of these definitions may not be possible. The CMS gives ''analytical'' definitions of C and in terms of elementary operations from calculus and differential geometry. ==Analytical definitions== For analytical definitions of and , consider the evolution of given by : where are general curvilinear space coordinates and are the surface coordinates. By convention, tensor indices of function arguments are dropped. Thus the above equations contains rather than .The velocity object is defined as the partial derivative : The velocity can be computed most directly by the formula : where are the covariant components of the normal vector . The definition of the -derivative for an invariant ''F'' reads : where is the shift tensor and is the covariant derivative on S. For ''tensors'', an appropriate generalization is needed. The proper definition for a representative tensor reads : where are Christoffel symbols. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Calculus of moving surfaces」の詳細全文を読む スポンサード リンク
|